同步水声跟踪定位系统软件抗距离模糊技术研究

同步水声跟踪定位系统通过时延测量进行定位,当信号传播时延大于脉冲重复周期时,就会出现距离模糊。距离模糊是远程高帧率定位系统不可避免的问题。以往多采用硬件方法抗模糊,使得系统趋于复杂。本文提出了两种软件抗模糊方法:举手表决法和参考位置标示法,前者利用真解的一致性抗模糊,无需任何先验信息;后者利用目标的参考位置抗模糊,需要目标初始就位点这一先验信息。文中给出了算法原理和适用条件。软件抗模糊方法简化了系统设备,海试结果验证了算法的有效性。     

在线整周模糊度快速解算法

本文介绍了利用差分GPS求解的基线向量,并用此基线向量来确定载体姿态的算法。重点介绍了一种在此特定的应用背景下整周模糊度的快速解算法。经实际数据检验,本方法能快速准确的确定整周模糊度,且解算出的载体姿态具有较好的精度。     

Growth and ergodicity of context-free languages II: The linear case

A language over a finite alphabet is called growth-sensitive if forbidding any non-empty set of subwords yields a sub-language whose exponential growth rate is smaller than that of . Say that a context-free grammar (and associated language) is ergodic if its dependency di-graph is strongly connected. It is known that regular and unambiguous non-linear context-free languages which are ergodic are growth-sensitive. In this note it is shown that ergodic unambiguous linear languags are growth-sensitive, closing the gap that remained open.

     

Typical ambiguity and elementary equivalence

A sentence of the usual language of set theory is said to be stratified if it is obtained by “erasing” type indices in a sentence of the language of Russell's Simple Theory of Types. In this paper we give an alternative presentation of a proof the ambiguity theorem stating that any provable stratified sentence has a stratified proof. To this end, we introduce a new set of ambiguity axioms, inspired by Fraïssé's characterization of elementary equivalence; these axioms can be naturally used to give different proofs of the ambiguity theorem (semantic or syntactic, classical or intuitionistic). MSC: 03B15, 03F50, 03F55.     

Reconstruction of possibilistic behavior systems

Reconstructability analysis is viewed as a process of investigating the possibilities of reconstructing desirable properties of overall systems from the knowledge of the corresponding properties of their various subsystems. The reconstructability analysis consists of procedures for generating meaningful reconstruction hypotheses, procedures for the evaluation of the reconstruction hypotheses, and procedures for making various decisions regarding the acceptance of evaluated reconstruction hypotheses, generation of additional reconstruction hypotheses, termination of the analysis and the like.The paper discusses the evaluation of reconstruction hypotheses when the systems under consideration are possibilistic behavior systems. It is shown that a principle of maximum ambiguity, similar to the principle of maximum entropy for probabilistic systems, can be used for possibilistic systems. It is also shown that the unbiased (maximum ambiguity) reconstruction can be determined by a simple join procedure, in a similar fashion as for probabilistic systems. The join procedure for possibilistic systems turns out to be computationally simpler than the one for probabilistic systems. The paper also describes a general procedure for determining the reconstruction family.     

On Dirac's quantization condition

The consequences of Dirac's quantization condition are discussed. Observing that this condition generally leads to contradiction and that the normal explanation to resolve the contradiction seems unsatisfactory, we propose a modified quantization condition. It is shown that operator ordering ambiguity could be represented as the arbitrariness of the distribution functions in the modified condition.     

Particle Sizing by Planar-Phase Doppler System

Conventional phase Doppler systems are useful for sizing particles in the order of microns, but sensitive to the Gaussian beam defect which can cause sizing errors. The defect can be significant when a large size is measured. In this paper, we present a new phase Doppler system using a planar optical layout which permits large particles to be measured in a forward scattering scheme without the Gaussian beam errors. The optical system design is discussed by numerical simulation based on the Mie theory.     

Determination and visualization of rotational ambiguity in four-component systems

One of the main problems that limit the use of model-free analysis methods for the resolution of multivariate data is that usually there is rotational ambiguity in the result. While methods for the complete definition of rotational ambiguity for two- and three-component systems have been published recently, the comprehensive and general resolution of rotational ambiguity for four-component systems has eluded chemists for several decades. We have developed an extension of self-modelling curve resolution for a mixture of four-components. The performance of the method was verified by applying it to resolve simulated and real data sets.     

Multivariate curve resolution-particle swarm optimization: A high-throughput approach to exploit pure information from multi-component hyphenated chromatographic signals

Multivariate curve resolution-particle swarm optimization (MCR-PSO) algorithm is proposed to exploit pure chromatographic and spectroscopic information from multi-component hyphenated chromatographic signals. This new MCR method is based on rotation of mathematically unique PCA solutions into the chemically meaningful MCR solutions. To obtain a proper rotation matrix, an objective function based on non-fulfillment of constraints is defined and is optimized using particle swarm optimization (PSO) algorithm. Initial values of rotation matrix are calculated using local rank analysis and heuristic evolving latent projection (HELP) method. The ability of MCR-PSO in resolving the chromatographic data is evaluated using simulated gas chromatography–mass spectrometry (GC–MS) and high-performance liquid chromatography–diode array detection (HPLC–DAD) data. To present a comprehensive study, different number of components and various levels of noise under proper constraints of non-negativity, unimodality and spectral normalization are considered. Calculation of the extent of rotational ambiguity in MCR solutions for different chromatographic systems using MCR-BANDS method showed that MCR-PSO solutions are always in the range of feasible solutions like true solutions. In addition, the performance of MCR-PSO is compared with other popular MCR methods of multivariate curve resolution-objective function minimization (MCR-FMIN) and multivariate curve resolution-alternating least squares (MCR-ALS). The results showed that MCR-PSO solutions are rather similar or better (in some cases) than other MCR methods in terms of statistical parameters. Finally MCR-PSO is successfully applied in the resolution of real GC–MS data. It should be pointed out that in addition to multivariate resolution of hyphenated chromatographic signals, MCR-PSO algorithm can be straightforwardly applied to other types of separation, spectroscopic and electrochemical data.     

三曝光三相关PIV技术研究

对不等间隔三次曝光单幅记录的PIV粒子图像,本文提出一和中三相关位移诊断方法,三相关函数有两个次大峰,且不对称地人布在最大峰两侧,本方法可同时获得位移值及判别位移方向,可有效解决位移方向二义性问题,对线性涡流模拟粒子图像,应用本方法进行粒子位移诊断,结果证实了本方法对含涡复杂流动速度方向判别的有效性。